package tarantula.experiment.commons;

import junit.framework.TestCase;

public class CollectionsFailedUnsimplifiedTestsBug2 extends TestCase {


	  public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var1 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var3 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var2);
	    boolean var4 = var1.addAll((java.util.Collection)var3);
	    int var5 = var3.size();
	    org.apache.commons.collections.Transformer var6 = org.apache.commons.collections.TransformerUtils.exceptionTransformer();
	    org.apache.commons.collections.Predicate var7 = org.apache.commons.collections.PredicateUtils.asPredicate(var6);
	    org.apache.commons.collections.Buffer var8 = org.apache.commons.collections.BufferUtils.transformedBuffer((org.apache.commons.collections.Buffer)var3, var6);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var10 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var9);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var12 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var11);
	    boolean var13 = var10.addAll((java.util.Collection)var12);
	    org.apache.commons.collections.Predicate var14 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.CollectionUtils.filter((java.util.Collection)var10, var14);
	    org.apache.commons.collections.Predicate[] var16 = new org.apache.commons.collections.Predicate[] { var14};
	    org.apache.commons.collections.functors.AllPredicate var17 = new org.apache.commons.collections.functors.AllPredicate(var16);
	    java.lang.Object var18 = org.apache.commons.collections.CollectionUtils.find((java.util.Collection)var8, (org.apache.commons.collections.Predicate)var17);
	    org.apache.commons.collections.Buffer var19 = org.apache.commons.collections.BufferUtils.unmodifiableBuffer(var8);
	    
	    // Checks the contract:  equals-symmetric on var19 and var8.
	    assertTrue("Contract failed: equals-symmetric on var19 and var8.", var19.equals(var8) == var8.equals(var19));

	  }

	  public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var1 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var3 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var2);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var5 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var4);
	    boolean var6 = var3.addAll((java.util.Collection)var5);
	    boolean var7 = var1.addAll((java.util.Collection)var3);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var9 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var8);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var11 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var10);
	    boolean var12 = var9.addAll((java.util.Collection)var11);
	    org.apache.commons.collections.Predicate var13 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.CollectionUtils.filter((java.util.Collection)var9, var13);
	    org.apache.commons.collections.Buffer var15 = org.apache.commons.collections.BufferUtils.synchronizedBuffer((org.apache.commons.collections.Buffer)var9);
	    java.util.Collection var16 = org.apache.commons.collections.CollectionUtils.union((java.util.Collection)var3, (java.util.Collection)var15);
	    org.apache.commons.collections.Predicate var17 = org.apache.commons.collections.PredicateUtils.onePredicate((java.util.Collection)var15);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var19 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var18);
	    java.lang.Integer var20 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var21 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var20);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var23 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var22);
	    boolean var24 = var21.addAll((java.util.Collection)var23);
	    boolean var25 = var19.addAll((java.util.Collection)var21);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var27 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var29 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var28);
	    boolean var30 = var27.addAll((java.util.Collection)var29);
	    org.apache.commons.collections.comparators.BooleanComparator var31 = new org.apache.commons.collections.comparators.BooleanComparator(var30);
	    org.apache.commons.collections.BinaryHeap var32 = new org.apache.commons.collections.BinaryHeap(var25, (java.util.Comparator)var31);
	    java.util.Map var33 = org.apache.commons.collections.CollectionUtils.getCardinalityMap((java.util.Collection)var32);
	    java.util.Map var34 = org.apache.commons.collections.MapUtils.unmodifiableMap(var33);
	    org.apache.commons.collections.bidimap.DualHashBidiMap var35 = new org.apache.commons.collections.bidimap.DualHashBidiMap(var34);
	    org.apache.commons.collections.Transformer var36 = org.apache.commons.collections.TransformerUtils.switchMapTransformer((java.util.Map)var35);
	    org.apache.commons.collections.map.LinkedMap var37 = new org.apache.commons.collections.map.LinkedMap((java.util.Map)var35);
	    org.apache.commons.collections.OrderedMap var38 = org.apache.commons.collections.map.UnmodifiableOrderedMap.decorate((org.apache.commons.collections.OrderedMap)var37);
	    java.lang.Integer var39 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var40 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var39);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var42 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var41);
	    java.lang.Integer var43 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var44 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var43);
	    boolean var45 = var42.addAll((java.util.Collection)var44);
	    boolean var46 = var40.addAll((java.util.Collection)var42);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var48 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var47);
	    java.lang.Integer var49 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var50 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var49);
	    boolean var51 = var48.addAll((java.util.Collection)var50);
	    org.apache.commons.collections.comparators.BooleanComparator var52 = new org.apache.commons.collections.comparators.BooleanComparator(var51);
	    org.apache.commons.collections.BinaryHeap var53 = new org.apache.commons.collections.BinaryHeap(var46, (java.util.Comparator)var52);
	    org.apache.commons.collections.BinaryHeap var54 = new org.apache.commons.collections.BinaryHeap((java.util.Comparator)var52);
	    long var55 = org.apache.commons.collections.MapUtils.getLongValue((java.util.Map)var38, (java.lang.Object)var54);
	    org.apache.commons.collections.Buffer var56 = org.apache.commons.collections.BufferUtils.blockingBuffer(var15, (long)var55);
	    
	    // Checks the contract:  equals-symmetric on var56 and var15.
	    assertTrue("Contract failed: equals-symmetric on var56 and var15.", var56.equals(var15) == var15.equals(var56));

	  }

	  public void test4() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var1 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var3 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var2);
	    boolean var4 = var1.addAll((java.util.Collection)var3);
	    int var5 = var3.size();
	    org.apache.commons.collections.Transformer var6 = org.apache.commons.collections.TransformerUtils.exceptionTransformer();
	    org.apache.commons.collections.Predicate var7 = org.apache.commons.collections.PredicateUtils.asPredicate(var6);
	    org.apache.commons.collections.Buffer var8 = org.apache.commons.collections.BufferUtils.transformedBuffer((org.apache.commons.collections.Buffer)var3, var6);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var10 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var9);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var12 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var11);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var14 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var13);
	    boolean var15 = var12.addAll((java.util.Collection)var14);
	    boolean var16 = var10.addAll((java.util.Collection)var12);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var18 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var20 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var19);
	    boolean var21 = var18.addAll((java.util.Collection)var20);
	    org.apache.commons.collections.comparators.BooleanComparator var22 = new org.apache.commons.collections.comparators.BooleanComparator(var21);
	    org.apache.commons.collections.BinaryHeap var23 = new org.apache.commons.collections.BinaryHeap(var16, (java.util.Comparator)var22);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var25 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var24);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var27 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var26);
	    boolean var28 = var25.addAll((java.util.Collection)var27);
	    org.apache.commons.collections.comparators.BooleanComparator var29 = new org.apache.commons.collections.comparators.BooleanComparator(var28);
	    org.apache.commons.collections.comparators.BooleanComparator var30 = new org.apache.commons.collections.comparators.BooleanComparator(var28);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var32 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var31);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var34 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var33);
	    boolean var35 = var32.addAll((java.util.Collection)var34);
	    org.apache.commons.collections.comparators.BooleanComparator var36 = new org.apache.commons.collections.comparators.BooleanComparator(var35);
	    org.apache.commons.collections.comparators.BooleanComparator var37 = new org.apache.commons.collections.comparators.BooleanComparator(var35);
	    java.lang.Integer var38 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var39 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var38);
	    java.lang.Integer var40 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var41 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var40);
	    java.lang.Integer var42 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var43 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var42);
	    boolean var44 = var41.addAll((java.util.Collection)var43);
	    boolean var45 = var39.addAll((java.util.Collection)var41);
	    int var46 = var30.compare((java.lang.Boolean)var35, (java.lang.Boolean)var45);
	    var23.insert((java.lang.Object)var30);
	    java.lang.String var48 = var23.toString();
	    org.apache.commons.collections.bag.HashBag var49 = new org.apache.commons.collections.bag.HashBag((java.util.Collection)var23);
	    org.apache.commons.collections.Predicate var50 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.Predicate[] var51 = new org.apache.commons.collections.Predicate[] { var50};
	    org.apache.commons.collections.Closure var52 = org.apache.commons.collections.ClosureUtils.exceptionClosure();
	    org.apache.commons.collections.Closure[] var53 = new org.apache.commons.collections.Closure[] { var52};
	    java.lang.String var54 = "hi!";
	    java.lang.Class var55 = null;
	    java.lang.Class[] var56 = new java.lang.Class[] { var55};
	    java.lang.String var57 = "hi!";
	    java.lang.Object[] var58 = new java.lang.Object[] { var57};
	    org.apache.commons.collections.functors.InvokerTransformer var59 = new org.apache.commons.collections.functors.InvokerTransformer(var54, var56, var58);
	    org.apache.commons.collections.Closure var60 = org.apache.commons.collections.ClosureUtils.invokerClosure(var54);
	    org.apache.commons.collections.Closure var61 = org.apache.commons.collections.ClosureUtils.switchClosure(var51, var53, var60);
	    java.lang.Integer var62 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var63 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var62);
	    java.lang.Integer var64 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var65 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var64);
	    boolean var66 = var63.addAll((java.util.Collection)var65);
	    org.apache.commons.collections.Predicate var67 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.CollectionUtils.filter((java.util.Collection)var63, var67);
	    org.apache.commons.collections.Predicate[] var69 = new org.apache.commons.collections.Predicate[] { var67};
	    org.apache.commons.collections.functors.AllPredicate var70 = new org.apache.commons.collections.functors.AllPredicate(var69);
	    java.lang.Integer var71 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var72 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var71);
	    java.lang.Integer var73 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var74 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var73);
	    boolean var75 = var72.addAll((java.util.Collection)var74);
	    org.apache.commons.collections.Predicate var76 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.CollectionUtils.filter((java.util.Collection)var72, var76);
	    org.apache.commons.collections.Predicate var78 = org.apache.commons.collections.PredicateUtils.eitherPredicate((org.apache.commons.collections.Predicate)var70, var76);
	    org.apache.commons.collections.Predicate var79 = org.apache.commons.collections.PredicateUtils.uniquePredicate();
	    org.apache.commons.collections.Predicate var80 = org.apache.commons.collections.PredicateUtils.neitherPredicate(var76, var79);
	    org.apache.commons.collections.Closure var81 = org.apache.commons.collections.ClosureUtils.doWhileClosure(var61, var79);
	    java.lang.Object var82 = org.apache.commons.collections.CollectionUtils.find((java.util.Collection)var23, var79);
	    org.apache.commons.collections.Buffer var83 = org.apache.commons.collections.BufferUtils.predicatedBuffer((org.apache.commons.collections.Buffer)var3, var79);
	    org.apache.commons.collections.Buffer var84 = org.apache.commons.collections.BufferUtils.unmodifiableBuffer(var83);
	    
	    // Checks the contract:  equals-symmetric on var84 and var83.
	    assertTrue("Contract failed: equals-symmetric on var84 and var83.", var84.equals(var83) == var83.equals(var84));

	  }

	  public void test5() throws Throwable {

	    org.apache.commons.collections.buffer.BoundedFifoBuffer var0 = new org.apache.commons.collections.buffer.BoundedFifoBuffer();
	    java.lang.Character var1 = new java.lang.Character('4');
	    java.lang.Object[] var2 = new java.lang.Object[] { var1};
	    java.lang.Object[] var3 = var0.toArray(var2);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var5 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var4);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var7 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var6);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var9 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var8);
	    boolean var10 = var7.addAll((java.util.Collection)var9);
	    boolean var11 = var5.addAll((java.util.Collection)var7);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var13 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var12);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    org.apache.commons.collections.buffer.BoundedFifoBuffer var15 = new org.apache.commons.collections.buffer.BoundedFifoBuffer(var14);
	    boolean var16 = var13.addAll((java.util.Collection)var15);
	    org.apache.commons.collections.comparators.BooleanComparator var17 = new org.apache.commons.collections.comparators.BooleanComparator(var16);
	    org.apache.commons.collections.BinaryHeap var18 = new org.apache.commons.collections.BinaryHeap(var11, (java.util.Comparator)var17);
	    org.apache.commons.collections.BinaryHeap var19 = new org.apache.commons.collections.BinaryHeap((java.util.Comparator)var17);
	    java.util.Collection var20 = org.apache.commons.collections.CollectionUtils.retainAll((java.util.Collection)var0, (java.util.Collection)var19);
	    org.apache.commons.collections.Buffer var21 = org.apache.commons.collections.BufferUtils.synchronizedBuffer((org.apache.commons.collections.Buffer)var0);
	    org.apache.commons.collections.Buffer var22 = org.apache.commons.collections.BufferUtils.unmodifiableBuffer(var21);
	    
	    // Checks the contract:  equals-symmetric on var22 and var21.
	    assertTrue("Contract failed: equals-symmetric on var22 and var21.", var22.equals(var21) == var21.equals(var22));

	  }
}
